Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34 }

B grade: { }

C grade: { }

F grade: { }

2.1.3 Maple

A grade: { 2, 3, 4, 11, 12, 13, 19, 20, 21 }

B grade: { 1, 5, 6, 7, 8, 9, 10, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 27, 28 }

C grade: { }

F grade: { 29, 30, 31, 32, 33, 34 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 10, 11, 12, 13, 18, 19, 20, 21

B grade: { }

C grade: { }

F grade: { 5, 6, 7, 8, 9, 14, 15, 16, 17, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34 }

2.1.5 FriCAS

A grade: { }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34 }

2.1.6 Sympy

A grade: { 2, 3, 4, 5, 11, 12, 13, 14, 19, 20, 21, 22, 27, 28 }

B grade: { }

C grade: { }

F grade: { 1, 6, 7, 8, 9, 10, 15, 16, 17, 18, 23, 24, 25, 26, 29, 30, 31, 32, 33, 34 }

2.1.7 Giac

A grade: { 2, 3, 4, 5, 6, 12, 13, 14, 15, 16, 20, 21, 22, 23, 24 }

B grade: { 1, 7, 8, 9, 10, 11, 17, 18, 19, 25, 26, 27, 28 }

C grade: { }

F grade: { 29, 30, 31, 32, 33, 34 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)










Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A F(-2) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 436 436 391 841 838 0 0 1153
normalized size 1 1. 0.9 1.93 1.92 0. 0. 2.64
time (sec) N/A 0.408 1.231 0.008 2.797 0. 0. 2.867


















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F(-2) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 324 324 287 505 522 0 1510 753
normalized size 1 1. 0.89 1.56 1.61 0. 4.66 2.32
time (sec) N/A 0.272 0.643 0.007 1.58 0. 124.994 2.295


















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F(-2) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 184 241 267 0 848 417
normalized size 1 1. 0.87 1.14 1.26 0. 4. 1.97
time (sec) N/A 0.173 0.3 0.004 2.58 0. 70.925 2.029


















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F(-2) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 82 91 173 0 354 173
normalized size 1 1. 0.71 0.79 1.5 0. 3.08 1.5
time (sec) N/A 0.072 0.09 0.003 1.272 0. 14.08 1.563


















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-2) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 188 188 185 338 0 0 192 335
normalized size 1 1. 0.98 1.8 0. 0. 1.02 1.78
time (sec) N/A 0.206 0.254 0.011 0. 0. 50.271 2.523


















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-2) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 201 201 244 566 0 0 0 366
normalized size 1 1. 1.21 2.82 0. 0. 0. 1.82
time (sec) N/A 0.518 0.477 0.019 0. 0. 0. 2.279


















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-2) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 279 279 359 1207 0 0 0 714
normalized size 1 1. 1.29 4.33 0. 0. 0. 2.56
time (sec) N/A 0.741 0.92 0.021 0. 0. 0. 2.447


















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-2) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 375 375 493 1186 0 0 0 1318
normalized size 1 1. 1.31 3.16 0. 0. 0. 3.51
time (sec) N/A 0.821 1.459 0.023 0. 0. 0. 2.384


















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-2) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 495 495 621 3252 0 0 0 2041
normalized size 1 1. 1.25 6.57 0. 0. 0. 4.12
time (sec) N/A 1.009 2.228 0.024 0. 0. 0. 2.567


















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A F(-2) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 434 434 391 841 849 0 0 1440
normalized size 1 1. 0.9 1.94 1.96 0. 0. 3.32
time (sec) N/A 0.359 1.147 0.007 2.589 0. 0. 2.389


















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F(-2) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 322 322 287 505 533 0 435 879
normalized size 1 1. 0.89 1.57 1.66 0. 1.35 2.73
time (sec) N/A 0.259 0.636 0.009 2.38 0. 107.427 2.577


















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F(-2) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 210 210 188 241 278 0 230 436
normalized size 1 1. 0.9 1.15 1.32 0. 1.1 2.08
time (sec) N/A 0.166 0.305 0.005 1.778 0. 43.636 2.433


















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F(-2) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 82 91 138 0 114 171
normalized size 1 1. 0.73 0.81 1.22 0. 1.01 1.51
time (sec) N/A 0.081 0.08 0.004 3.071 0. 14.207 2.306


















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-2) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 193 193 174 366 0 0 172 270
normalized size 1 1. 0.9 1.9 0. 0. 0.89 1.4
time (sec) N/A 0.24 0.536 0.012 0. 0. 50.872 2.418


















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-2) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 253 253 283 604 0 0 0 524
normalized size 1 1. 1.12 2.39 0. 0. 0. 2.07
time (sec) N/A 0.601 0.752 0.023 0. 0. 0. 2.254


















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-2) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 350 350 482 1225 0 0 0 833
normalized size 1 1. 1.38 3.5 0. 0. 0. 2.38
time (sec) N/A 0.832 1.437 0.028 0. 0. 0. 2.026


















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-2) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 463 463 697 2108 0 0 0 1465
normalized size 1 1. 1.51 4.55 0. 0. 0. 3.16
time (sec) N/A 1.15 2.52 0.034 0. 0. 0. 1.679


















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A F(-2) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 434 434 391 841 846 0 0 1391
normalized size 1 1. 0.9 1.94 1.95 0. 0. 3.21
time (sec) N/A 0.353 0.716 0.008 1.643 0. 0. 2.401


















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F(-2) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 322 322 287 505 531 0 377 840
normalized size 1 1. 0.89 1.57 1.65 0. 1.17 2.61
time (sec) N/A 0.243 0.669 0.006 2.003 0. 133.078 2.274


















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F(-2) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 210 210 177 241 275 0 230 408
normalized size 1 1. 0.84 1.15 1.31 0. 1.1 1.94
time (sec) N/A 0.172 0.295 0.004 1.188 0. 60.043 2.278


















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F(-2) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 75 90 132 0 425 155
normalized size 1 1. 0.66 0.8 1.17 0. 3.76 1.37
time (sec) N/A 0.072 0.084 0.004 3.075 0. 1.29 2.485


















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-2) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 210 210 210 464 0 0 214 379
normalized size 1 1. 1. 2.21 0. 0. 1.02 1.8
time (sec) N/A 0.313 0.654 0.017 0. 0. 87.275 2.59


















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-2) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 336 336 334 730 0 0 0 593
normalized size 1 1. 0.99 2.17 0. 0. 0. 1.76
time (sec) N/A 0.791 1.074 0.025 0. 0. 0. 1.664


















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-2) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 438 438 536 1376 0 0 0 1035
normalized size 1 1. 1.22 3.14 0. 0. 0. 2.36
time (sec) N/A 1.214 2.154 0.031 0. 0. 0. 2.297


















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-2) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 455 455 418 5003 0 0 0 12193
normalized size 1 1. 0.92 11. 0. 0. 0. 26.8
time (sec) N/A 0.338 0.733 0.02 0. 0. 0. 2.999


















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-2) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 338 338 308 2588 0 0 0 6712
normalized size 1 1. 0.91 7.66 0. 0. 0. 19.86
time (sec) N/A 0.247 0.517 0.015 0. 0. 0. 2.922


















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-2) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 226 226 199 1039 0 0 13442 3002
normalized size 1 1. 0.88 4.6 0. 0. 59.48 13.28
time (sec) N/A 0.161 0.271 0.008 0. 0. 17.573 2.378


















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-2) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 108 308 0 0 3750 983
normalized size 1 1. 0.86 2.44 0. 0. 29.76 7.8
time (sec) N/A 0.072 0.105 0.005 0. 0. 4.697 2.577


















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 203 203 181 0 0 0 0 0
normalized size 1 1. 0.89 0. 0. 0. 0. 0.
time (sec) N/A 0.18 0.246 0.047 0. 0. 0. 0.


















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 220 220 180 0 0 0 0 0
normalized size 1 1. 0.82 0. 0. 0. 0. 0.
time (sec) N/A 0.524 0.199 0.049 0. 0. 0. 0.


















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 329 329 188 0 0 0 0 0
normalized size 1 1. 0.57 0. 0. 0. 0. 0.
time (sec) N/A 0.619 0.199 0.06 0. 0. 0. 0.


















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 117 0 0 0 0 0
normalized size 1 1. 0.83 0. 0. 0. 0. 0.
time (sec) N/A 0.089 0.117 0.061 0. 0. 0. 0.


















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 268 266 187 0 0 0 0 0
normalized size 1 0.99 0.7 0. 0. 0. 0. 0.
time (sec) N/A 0.309 0.204 0.064 0. 0. 0. 0.


















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 610 605 254 0 0 0 0 0
normalized size 1 0.99 0.42 0. 0. 0. 0. 0.
time (sec) N/A 1.069 0.246 0.039 0. 0. 0. 0.









2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [9] had the largest ratio of [ 0.1875 ]

Table 2.1Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 2 1 1. 32 0.031







2 A 2 1 1. 32 0.031







3 A 2 1 1. 30 0.033







4 A 2 1 1. 25 0.04







5 A 4 3 1. 32 0.094







6 A 5 4 1. 32 0.125







7 A 5 5 1. 32 0.156







8 A 5 5 1. 32 0.156







9 A 6 6 1. 32 0.188







10 A 2 1 1. 32 0.031







11 A 2 1 1. 32 0.031







12 A 2 1 1. 30 0.033







13 A 2 1 1. 25 0.04







14 A 6 4 1. 32 0.125







15 A 5 4 1. 32 0.125







16 A 5 5 1. 32 0.156







17 A 6 6 1. 32 0.188







18 A 2 1 1. 32 0.031







19 A 2 1 1. 32 0.031







20 A 2 1 1. 30 0.033







21 A 2 1 1. 25 0.04







22 A 4 3 1. 32 0.094







23 A 5 4 1. 32 0.125







24 A 6 5 1. 32 0.156







25 A 2 1 1. 30 0.033







26 A 2 1 1. 30 0.033







27 A 2 1 1. 28 0.036







28 A 2 1 1. 23 0.043







29 A 3 2 1. 30 0.067







30 A 4 4 1. 30 0.133







31 A 4 4 1. 30 0.133







32 A 3 3 1. 20 0.15







33 A 4 4 0.99 25 0.16







34 A 5 5 0.99 30 0.167